Having the "Exit" option in the file menu in the menu bar is
redundant because of the "Quit jEdit" option in the jEdit menu in
the menu bar
| Submitted | nobody - 2004-02-16 - 22:17:23z | Assigned | evanpw |
|---|---|---|---|
| Priority | 5 | Category | None |
| Status | Open | Group | None |
| Resolution | None | Visibility | No |